windowManager: Switch to horizontal workspaces

Do so by removing the workspace override.

Requires https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1684

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593>

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 1b90c3b7daea3966f21ccc337554903594da94c9..8a4df0b51be143a78798abd25c6c3a6b8a7783cc 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -944,9 +944,6 @@ var WindowManager = class {
         if (Main.sessionMode.hasWorkspaces)
             this._workspaceTracker = new WorkspaceTracker(this);
 
-        global.workspace_manager.override_workspace_layout(Meta.DisplayCorner.TOPLEFT,
-                                                           false, -1, 1);
-
         let swipeTracker = new SwipeTracker.SwipeTracker(global.stage,
             Shell.ActionMode.NORMAL, { allowDrag: false, allowScroll: false });
         swipeTracker.connect('begin', this._switchWorkspaceBegin.bind(this));